$\forall$$a$,$b$:IdLnk. eq\_lnk($a$; $b$) $\in$ $\mathbb{B}$